package com.baigt.jvm.other;

import java.util.ArrayList;
import java.util.Arrays;
import java.util.List;

/**
 * 类功能描述:
 *
 * @author baigt
 * @version V1.0
 * @since 2019-07-01 11:29
 */
public class StrTest {
    public static String[] avaiable={"1000132",
        "1000139",
        "1000140",
        "1000142",
        "1000144",
        "1000155",
        "1000166",
        "1000170",
        "1000176",
        "1000203",
        "1000204",
        "1000205",
        "1000285",
        "1000290",
        "1000301",
        "10026373",
        "10033158",
        "10034879",
        "10034899",
        "10046359",
        "10065629",
        "10091020",
        "10091506",
        "10092578",
        "10092865",
        "10092916",
        "10094676",
        "10096798",
        "10102847",
        "10120620",
        "10120677",
        "10234889",
        "10254477",
        "5000535",
        "5010336",
        "5011234",
        "5011235",
        "5011331",
        "5012131",
        "5012134",
        "5012135",
        "5020934",
        "5040131",
        "5040132",
        "5040134",
        "5040534",
        "5050131",
        "5050231",
        "5050531",
        "5050694",
        "5050733",
        "5050791",
        "5050831",
        "5050833",
        "5050931",
        "5060133",
        "5060192",
        "5060236",
        "5060531",
        "5060534",
        "5060931",
        "5060932",
        "5070131",
        "5070391",
        "5070431",
        "5070532",
        "5070533",
        "5071131",
        "5071231",
        "5071331",
        "5071431",
        "5071931",
        "5072231",
        "5072332",
        "5073031",
        "5073331",
        "5073731",
        "5074091",
        "5074291",
        "5076031",
        "5080731",
        "5082431",
        "5082532",
        "5082691",
        "5082731",
        "5082831",
        "5082832",
        "5082932",
        "5083731",
        "5090331",
        "5090433",
        "5090631",
        "5090931",
        "5091031",
        "5091231",
        "5091331",
        "5091431",
        "5091533",
        "5091834",
        "5092331",
        "5092332",
        "5100333",
        "5102232",
        "5102531",
        "5102631",
        "5103332",
        "5105232",
        "5130331",
        "5130333",
        "5130931",
        "5140133",
        "5140831",
        "5140832",
        "5140892",
        "5140932",
        "5141431",
        "5141831",
        "5141833",
        "5141931",
        "5142031",
        "5142434",
        "5142531",
        "5142631",
        "5142732",
        "5143291",
        "5143391",
        "5144431",
        "5144432",
        "5144531",
        "5144635",
        "5145431",
        "5145532",
        "5150132",
        "5150135",
        "5150236",
        "5150331",
        "5153131",
        "5170331",
        "5180134",
        "5180231",
        "5180331",
        "5180531",
        "5180631",
        "5180832",
        "5210131",
        "5210231",
        "5210332",
        "5210431",
        "5210534",
        "5210631",
        "5210731",
        "5220231",
        "5220331",
        "5220731",
        "5230192",
        "5230291",
        "5230591",
        "5230892",
        "5230991",
        "5231391",
        "5231491",
        "5231591",
        "5232293",
        "5232591",
        "5232691",
        "5233491",
        "5233591",
        "5233792",
        "5233891",
        "5233991",
        "5233992",
        "5233993",
        "5234291",
        "5234591",
        "5234691",
        "5234692",
        "5240191",
        "5250491",
        "5260291",
        "5260491",
        "5270132",
        "5270231",
        "5270331",
        "5270332",
        "5270631",
        "5270731",
        "5271094",
        "5271097",
        "5271098",
        "5271392",
        "5271531",
        "5271532",
        "5271533",
        "5271696",
        "5271791",
        "5271792",
        "5271891",
        "5271991",
        "5271992",
        "5272131",
        "5272134",
        "5272231",
        "5272331",
        "5272435",
        "5272813",
        "5272931",
        "5280531",
        "5281031",
        "5281232",
        "5290131",
        "5290231",
        "5290432",
        "5290533",
        "5290731",
        "5290831",
        "5290931",
        "5291032",
        "5291431",
        "5291832",
        "5291833",
        "5292231",
        "5293813",
        "5300132",
        "5300732",
        "5300831",
        "5301131",
        "5302232",
        "5302331",
        "5302431",
        "5302491",
        "5310231",
        "5310531",
        "5310735",
        "5310831",
        "5310832",
        "5310834",
        "5320331",
        "5320432",
        "5320532",
        "5320832",
        "5330931",
        "5330932",
        "5332131",
        "5340231",
        "5340232",
        "5340234",
        "5340632",
        "5340834",
        "5340835",
        "5340931",
        "5341031",
        "5341131",
        "5341132",
        "5341232",
        "5341431",
        "5341432",
        "5341731",
        "5341833",
        "5341931",
        "5342231",
        "5342332",
        "5342431",
        "5342631",
        "5342831",
        "5342931",
        "5343031",
        "5343131",
        "5343231",
        "5343331",
        "5343931",
        "5344034",
        "5344131",
        "5344491",
        "5344631",
        "5344731",
        "5344732",
        "5344831",
        "5345131",
        "5345133",
        "5345134",
        "5346032",
        "5350131",
        "5350231",
        "5350331",
        "5350431",
        "5350536",
        "5351231",
        "5351812",
        "5360231",
        "5360331",
        "5360431",
        "5360531",
        "5361431",
        "5370331",
        "5370431",
        "5370532",
        "5380331",
        "5380631",
        "5380931",
        "5381131",
        "5381331",
        "5381431",
        "5381631",
        "5381731",
        "5381831",
        "5381931",
        "5390831",
        "5390931",
        "5390932",
        "5391031",
        "5400132",
        "5400133",
        "5400134",
        "5400231",
        "5400332",
        "5400431",
        "5400531",
        "5400632",
        "5400731",
        "5401031",
        "5401231",
        "5401233",
        "5402232",
        "5403431",
        "5410491",
        "5410591",
        "5410791",
        "5410892",
        "5430331",
        "5430431",
        "5440131",
        "5440232",
        "5440331",
        "5440533",
        "5440692",
        "5440992",
        "5441091",
        "5441192",
        "5441292",
        "5441396",
        "5441891",
        "5441991",
        "5442091",
        "5442191",
        "5442391",
        "5442593",
        "5442893",
        "5450331",
        "5450431",
        "5450434",
        "5450631",
        "5450731",
        "5450832",
        "5450932",
        "5460731",
        "5461731",
        "5461831",
        "5462532",
        "5462731",
        "5462732",
        "5462831",
        "5462931",
        "5463831",
        "5470931",
        "5471431",
        "5482132",
        "5482791",
        "5510291",
        "5511191",
        "6000131",
        "6000331",
        "6000431",
        "6001131",
        "6002132",
        "6002232",
        "6002432",
        "6002434",
        "6002731",
        "6002831",
        "6003032",
        "6003531",
        "6010531",
        "6010631",
        "6010732",
        "6011131",
        "6013131",
        "6013331",
        "6013731",
        "6013931",
        "6014731",
        "6014932",
        "6150431",
        "6150931",
        "6151391",
        "6152531",
        "6152831",
        "6154132",
        "6154432",
        "6154813",
        "6170131",
        "6170531",
        "6170532",
        "6170831",
        "6171331",
        "6172031",
        "6172531",
        "6172731",
        "6172832",
        "6172931",
        "6175031",
        "6230431",
        "6230531",
        "6240232",
        "6240333",
        "6240431",
        "6240531",
        "6240631",
        "6260231",
        "6260332",
        "6260531",
        "6260631",
        "6270131",
        "6270132",
        "6270232",
        "6270432",
        "6270632",
        "6270731",
        "6271031",
        "6271032",
        "6271631",
        "6271931",
        "6280131",
        "6280231",
        "6280432",
        "6280532",
        "6280632",
        "6300535",
        "6300536",
        "6300731",
        "6301132",
        "6301531",
        "6302231",
        "6302631",
        "6302731",
        "6302931",
        "6330131",
        "6340132",
        "6340142",
        "6340143",
        "6340232",
        "6340532",
        "6340731",
        "6340732",
        "6340831",
        "6340931",
        "6341131",
        "6341732",
        "6350331",
        "6350931",
        "6351131",
        "6351231",
        "6351531",
        "6352731",
        "6353331",
        "6360131",
        "6360431",
        "6410131",
        "6410993",
        "6411092",
        "6411231",
        "6411331",
        "6420131",
        "6420531",
        "6430231",
        "6430631",
        "6431031",
        "6440331",
        "6520291",
        "6520491",
        "6521231",
        "6540431",
        "7589347",
        "8130375",
        "8197361",
        "8410153",
        "8672969",
        "8975936",
        "9066933",
        "9079300",
        "9142480",
        "9222326",
        "9225947",
        "9561569",
        "9663651",
        "9665259",
        "9672711",
        "9684520",
        "9714239"};
    public static String[] all={
        "5351231",
        "6350931",
        "6352431",
        "5101911",
        "5120711",
        "5302011",
        "5370311",
        "5450311",
        "5450331",
        "5450431",
        "5001221",
        "5121113",
        "8390431",
        "8390531",
        "6002831",
        "6010631",
        "6013831",
        "6014932",
        "6300536",
        "6410832",
        "8150232",
        "8150631",
        "8152031",
        "8154531",
        "8161791",
        "8162191",
        "5090331",
        "5091031",
        "5091533",
        "5091831",
        "8390131",
        "8390631",
        "6151391",
        "6170431",
        "8632239",
        "5121615",
        "5360612",
        "5320432",
        "5441091",
        "5450731",
        "5451211",
        "5461511",
        "8441991",
        "5011331",
        "5040131",
        "5010422",
        "5011332",
        "5011621",
        "5012131",
        "7074587",
        "8126463",
        "9084575",
        "5102531",
        "5140831",
        "5141833",
        "5142631",
        "5144432",
        "5144531",
        "5144635",
        "5145532",
        "9338312",
        "1000250",
        "10048520",
        "5090432",
        "5091431",
        "5100831",
        "5142831",
        "5144631",
        "5150231",
        "5150331",
        "5150411",
        "5150491",
        "5462731",
        "6150431",
        "6153431",
        "8150231",
        "8150237",
        "8150931",
        "8150933",
        "8151531",
        "8151831",
        "8152231",
        "8152531",
        "8152731",
        "8152831",
        "8153033",
        "8153733",
        "8154331",
        "9200702",
        "9664990",
        "1000193",
        "10092658",
        "10165599",
        "6153231",
        "6353431",
        "8152131",
        "8153034",
        "8154831",
        "8154931",
        "9660181",
        "5150332",
        "5150831",
        "6152831",
        "6153731",
        "8153734",
        "9660156",
        "9665227",
        "5143491",
        "5143591",
        "8160991",
        "8161892",
        "8163791",
        "8163891",
        "8164191",
        "5330932",
        "6002132",
        "1000175",
        "1000236",
        "5430331",
        "5430431",
        "6430231",
        "8360131",
        "8360333",
        "1000151",
        "5101413",
        "5121517",
        "5121518",
        "5300611",
        "6301312",
        "6301812",
        "7005821",
        "5301311",
        "5301411",
        "5301811",
        "5302211",
        "5302411",
        "8447679",
        "5101511",
        "5330422",
        "6003112",
        "10024670",
        "10038146",
        "5320121",
        "5320912",
        "7062361",
        "5090433",
        "5210231",
        "5210332",
        "6175031",
        "5350731",
        "5370511",
        "5481214",
        "5011227",
        "5101412",
        "1000163",
        "1000285",
        "10039708",
        "10091506",
        "5380132",
        "5380331",
        "5380411",
        "5380631",
        "5380831",
        "5380931",
        "5381131",
        "5381331",
        "5381431",
        "5381511",
        "5381631",
        "5381731",
        "5381831",
        "5381931",
        "5382131",
        "8028589",
        "8512880",
        "9420964",
        "5050231",
        "5050491",
        "5050791",
        "5050831",
        "5050832",
        "5050931",
        "5410891",
        "5410892",
        "6411092",
        "9681314",
        "9714239",
        "5410491",
        "5410591",
        "5410791",
        "5442391",
        "6002131",
        "6013331",
        "6013731",
        "6014432",
        "6014931",
        "6340732",
        "6410131",
        "6410831",
        "6411231",
        "6411331",
        "8410231",
        "8410431",
        "8410491",
        "8410631",
        "8410731",
        "9684520",
        "10033158",
        "5001921",
        "5012621",
        "5020631",
        "5020911",
        "5020931",
        "5040133",
        "5040632",
        "5070131",
        "5070531",
        "5070532",
        "5071431",
        "5071612",
        "5071911",
        "5071931",
        "5072231",
        "5292231",
        "6066901",
        "8534053",
        "5361031",
        "5361431",
        "6360131",
        "7002198",
        "8420231",
        "8420331",
        "8420431",
        "8420531",
        "9660240",
        "10091617",
        "5210531",
        "5420131",
        "5420231",
        "6010531",
        "6013131",
        "6360431",
        "6420131",
        "6420331",
        "6420531",
        "9187888",
        "5030411",
        "5342611",
        "10026387",
        "5070791",
        "5074291",
        "5441391",
        "5441396",
        "5510291",
        "6411591",
        "8162991",
        "8440591",
        "8510591",
        "1000134",
        "5091411",
        "5091512",
        "5100711",
        "5110711",
        "5121521",
        "5330211",
        "5470912",
        "8072611",
        "10091653",
        "5011231",
        "5040132",
        "5051091",
        "5074091",
        "5074191",
        "5410391",
        "8440991",
        "8441391",
        "8441491",
        "5390522",
        "5460311",
        "5460312",
        "5460731",
        "10091598",
        "5091532",
        "5330931",
        "5331011",
        "5342911",
        "5342931",
        "5370531",
        "9173072",
        "5102831",
        "6150931",
        "6152331",
        "6153331",
        "6170531",
        "8140331",
        "8150131",
        "8151631",
        "8151731",
        "8154731",
        "10091474",
        "5090332",
        "5091032",
        "5091231",
        "5091432",
        "5131131",
        "5142131",
        "5142531",
        "5143031",
        "5143131",
        "9122608",
        "9665158",
        "8160291",
        "8160292",
        "8160293",
        "8160294",
        "8161491",
        "8161492",
        "8161493",
        "8161891",
        "8162091",
        "8162291",
        "8162292",
        "8162293",
        "8162294",
        "8162295",
        "8164691",
        "8164692",
        "8164693",
        "5121519",
        "5330512",
        "6521231",
        "5011234",
        "5050733",
        "5083731",
        "5390321",
        "9861805",
        "1000164",
        "1000139",
        "1000206",
        "1000302",
        "10026373",
        "5000531",
        "5011132",
        "5140891",
        "5270132",
        "5270231",
        "5270331",
        "5270731",
        "5271531",
        "5272132",
        "5281031",
        "5461131",
        "6271232",
        "6280631",
        "6540431",
        "7002985",
        "9084501",
        "9142480",
        "9177902",
        "9660077",
        "9687757",
        "10092897",
        "5000523",
        "5000524",
        "5012622",
        "5012821",
        "5040121",
        "6271412",
        "9539569",
        "5440791",
        "5441191",
        "8440691",
        "8441091",
        "8441092",
        "8442191",
        "8520191",
        "10053400",
        "5100331",
        "5100333",
        "5343011",
        "5343931",
        "5344732",
        "5345131",
        "6340142",
        "10096893",
        "5090191",
        "8540131",
        "8540231",
        "8540331",
        "9298942",
        "1000143",
        "5271093",
        "5271095",
        "5271392",
        "5271692",
        "5271791",
        "5271891",
        "6000431",
        "6280131",
        "8240131",
        "8260131",
        "9187284",
        "5160531",
        "5370331",
        "5450231",
        "9665315",
        "9665341",
        "9665363",
        "9665375",
        "9665390",
        "10092693",
        "5272131",
        "5272331",
        "6270131",
        "10038008",
        "10091000",
        "6002032",
        "9184213",
        "5140431",
        "5141232",
        "5141431",
        "5143291",
        "10045408",
        "5000532",
        "5040431",
        "5040931",
        "5041031",
        "1000142",
        "10091039",
        "5230291",
        "5231291",
        "5231691",
        "5232091",
        "5232291",
        "5233992",
        "5234691",
        "6230791",
        "5461132",
        "5461831",
        "5461931",
        "5462331",
        "6280531",
        "5260291",
        "5260391",
        "5260491",
        "5260991",
        "9663651",
        "5342631",
        "5342831",
        "5343031",
        "10034879",
        "5343131",
        "5343231",
        "5344031",
        "5344131",
        "5344392",
        "5344491",
        "5345031",
        "5345132",
        "5345133",
        "5072332",
        "5010531",
        "5020932",
        "10120620",
        "5091111",
        "5092332",
        "5102231",
        "5102232",
        "5091834",
        "5092331",
        "5390524",
        "8410131",
        "5040534",
        "5070533",
        "8257052",
        "5050833",
        "6410993",
        "5072131",
        "10150915",
        "5060132",
        "5060133",
        "5060191",
        "5060192",
        "5410291",
        "5071631",
        "5050531",
        "5060534",
        "5071331",
        "5270631",
        "5450631",
        "5450832",
        "5450932",
        "5073331",
        "5080731",
        "5370431",
        "5370532",
        "5462532",
        "5462732",
        "5462831",
        "5462931",
        "5460811",
        "5470231",
        "1000132",
        "10023297",
        "5470931",
        "1000290",
        "5102631",
        "5144431",
        "5150132",
        "5150134",
        "5150236",
        "5210131",
        "5272134",
        "5360331",
        "5440232",
        "5440331",
        "5440131",
        "5440533",
        "5090712",
        "5221214",
        "5370211",
        "5462113",
        "5060123",
        "5060512",
        "5080122",
        "5080722",
        "5101912",
        "5370422",
        "5472321",
        "6350511",
        "1000203",
        "10046359",
        "6000331",
        "6000931",
        "6001031",
        "6001431",
        "6003531",
        "6240332",
        "6440331",
        "6440431",
        "8441531",
        "8442331",
        "9561569",
        "5232293",
        "5233991",
        "5234192",
        "5234692",
        "5231391",
        "5232491",
        "5233792",
        "5233993",
        "9995479",
        "5230991",
        "5232591",
        "5233491",
        "7589347",
        "9225947",
        "5230192",
        "5233891",
        "5230591",
        "5231491",
        "5232991",
        "1000176",
        "5440691",
        "5440692",
        "5441192",
        "5441292",
        "5442593",
        "5442791",
        "1000204",
        "6440491",
        "8162791",
        "8440291",
        "9222326",
        "8340431",
        "5321031",
        "7005557",
        "1000205",
        "5070391",
        "6520291",
        "6520491",
        "9660065",
        "10096798",
        "1000301",
        "10091065",
        "5344231",
        "9668381",
        "5130331",
        "5141831",
        "1000177",
        "10092578",
        "5440992",
        "5442091",
        "5442191",
        "5442691",
        "5442893",
        "5482791",
        "5511191",
        "5073031",
        "8440392",
        "10025494",
        "5340131",
        "5340231",
        "5340232",
        "5340331",
        "5340632",
        "5340831",
        "5341232",
        "5341931",
        "5342231",
        "10023273",
        "5130931",
        "1000304",
        "5050693",
        "5050694",
        "5231591",
        "1000140",
        "10039727",
        "10049639",
        "5090931",
        "5170231",
        "5210331",
        "5210431",
        "5320831",
        "8156583",
        "9440151",
        "10034899",
        "10036493",
        "10092618",
        "6172031",
        "6240231",
        "6240431",
        "6240531",
        "6240631",
        "6260131",
        "6260231",
        "6260531",
        "6260631",
        "6270731",
        "9066933",
        "9659935",
        "5240191",
        "5441393",
        "5441891",
        "8220291",
        "8220391",
        "8220491",
        "8672969",
        "9260191",
        "1000196",
        "1000200",
        "5000521",
        "5011226",
        "5011521",
        "5073121",
        "6301612",
        "1000186",
        "5010131",
        "5011931",
        "5020731",
        "9472409",
        "5082731",
        "5082831",
        "5082832",
        "5082931",
        "5082932",
        "1000198",
        "10097974",
        "6000131",
        "6000132",
        "6002431",
        "6002432",
        "6003731",
        "6010231",
        "6014031",
        "6014433",
        "6240331",
        "6440731",
        "6530231",
        "6530331",
        "8410831",
        "8410931",
        "9658467",
        "5050631",
        "5060131",
        "5060232",
        "5060531",
        "5060533",
        "5071231",
        "5091331",
        "5100431",
        "6280431",
        "8586866",
        "5150232",
        "1000146",
        "5280531",
        "5280831",
        "6170831",
        "6171331",
        "6172731",
        "6172931",
        "6301531",
        "10028097",
        "9560271",
        "5142731",
        "5090711",
        "5121112",
        "6000511",
        "5010321",
        "5012822",
        "5020111",
        "5020912",
        "5121520",
        "5121522",
        "5121614",
        "5121616",
        "9641556",
        "8160791",
        "8164291",
        "8164292",
        "1000179",
        "10045394",
        "10117563",
        "5050692",
        "5074391",
        "5143391",
        "5441291",
        "5441392",
        "5441394",
        "5441991",
        "6150891",
        "6151491",
        "7091260",
        "9658455",
        "8153035",
        "8153036",
        "8153735",
        "8153736",
        "10091442",
        "10254477",
        "5331532",
        "6301131",
        "5390831",
        "5390931",
        "5390932",
        "5391031",
        "10092865",
        "5232691",
        "5233591",
        "5234291",
        "9966772",
        "5230892",
        "5234591",
        "5235412",
        "5234491",
        "10096855",
        "5090631",
        "5471431",
        "6230431",
        "6230531",
        "10102896",
        "5343211",
        "6340132",
        "6340531",
        "8073732",
        "1000210",
        "5131011",
        "5342711",
        "10091699",
        "6430631",
        "6431031",
        "9672711",
        "5002221",
        "10120677",
        "5081721",
        "5082431",
        "5082532",
        "5082691",
        "6152531",
        "5343331",
        "9660122",
        "5340731",
        "5341431",
        "9660111",
        "5341031",
        "5341231",
        "1000284",
        "5340931",
        "5341131",
        "5342131",
        "5342331",
        "5342431",
        "5350231",
        "6340931",
        "6341131",
        "8340231",
        "5344631",
        "5344731",
        "5344831",
        "10053447",
        "5073731",
        "5345231",
        "6340131",
        "6340231",
        "6340631",
        "6340731",
        "6340831",
        "6341431",
        "9119113",
        "9205382",
        "9659996",
        "5000231",
        "5071831",
        "10091317",
        "5351331",
        "5351431",
        "6353331",
        "6353531",
        "10092671",
        "5350431",
        "5350531",
        "5460931",
        "9098398",
        "1000201",
        "6066922",
        "9664938",
        "9762525",
        "5020331",
        "5071811",
        "10091676",
        "5070431",
        "5340221",
        "8340131",
        "9442752",
        "9872018",
        "1000155",
        "5310832",
        "5332131",
        "8130375",
        "9452889",
        "5350131",
        "5350132",
        "9665259",
        "6350331",
        "6350731",
        "6351131",
        "6351531",
        "6352331",
        "6352432",
        "6353031",
        "6353131",
        "9658484",
        "1204006",
        "5350331",
        "1000162",
        "10091351",
        "5460921",
        "9340784",
        "6300331",
        "6350131",
        "6350431",
        "6351231",
        "6351631",
        "9305699",
        "10096875",
        "5341731",
        "5210631",
        "8410153",
        "9665006",
        "6350231",
        "6352731",
        "6352831",
        "6352931",
        "8975936",
        "9079300",
        "6015931",
        "6353231",
        "6360531",
        "5462031",
        "5462112",
        "6015731",
        "9446549",
        "5351031",
        "6001731",
        "6330131",
        "9647202",
        "1000358",
        "1000376",
        "1000378",
        "7224424",
        "1000230",
        "8410006",
        "9665248",
        "5450831",
        "5000535",
        "5000536",
        "5010336",
        "5012134",
        "5012135",
        "5020934",
        "5040134",
        "5050131",
        "5060236",
        "5060931",
        "5060932",
        "5076031",
        "5130333",
        "5142732",
        "5270332",
        "5272435",
        "5272813",
        "5272931",
        "6270132",
        "6270632",
        "6271032",
        "8270131",
        "1000144",
        "5271094",
        "5271097",
        "5271098",
        "5271696",
        "5271792",
        "5271991",
        "5271992",
        "5450434",
        "10094676",
        "5140832",
        "5140892",
        "5142434",
        "5143691",
        "5280832",
        "5281232",
        "6280432",
        "5105232",
        "5250491",
        "5345134",
        "5461832",
        "5463831",
        "6280532",
        "10037938",
        "6001131",
        "6001831",
        "6002232",
        "6002434",
        "6002731",
        "6003032",
        "6240232",
        "6240333",
        "6260332",
        "6260432",
        "6270232",
        "6270432",
        "6271631",
        "6271931",
        "6280632",
        "6340143",
        "6340232",
        "8240331",
        "8270231",
        "8270432",
        "10018988",
        "10091582",
        "10092916",
        "10102847",
        "5290131",
        "5290231",
        "5290432",
        "5290533",
        "5290731",
        "5290831",
        "5290931",
        "5291031",
        "5291032",
        "5291131",
        "5291431",
        "5291831",
        "5291832",
        "5291833",
        "5293813",
        "5300132",
        "5300732",
        "5302232",
        "5302331",
        "5302431",
        "5310232",
        "5310531",
        "5310735",
        "5310834",
        "5360231",
        "5360431",
        "5360531",
        "6170131",
        "6300531",
        "6301132",
        "6302531",
        "6302631",
        "6302731",
        "6302931",
        "9331870",
        "9338182",
        "1000195",
        "5220331",
        "5220731",
        "5320331",
        "5320532",
        "5320832",
        "6170532",
        "6172832",
        "6300731",
        "9663744",
        "1000166",
        "1000170",
        "1000208",
        "5400133",
        "5400134",
        "5400231",
        "5400332",
        "5400531",
        "5400632",
        "5400731",
        "5401031",
        "5401231",
        "5401233",
        "5402232",
        "5403431",
        "5340132",
        "5340133",
        "5340134",
        "5340234",
        "5340834",
        "5340835",
        "5341132",
        "5341432",
        "5341833",
        "5342332",
        "5344393",
        "5346032",
        "5351812",
        "8197361",
        "8340331",
        "5071131",
        "5350536",
        "5450931",
        "5011831",
        "5272231",
        "5280631",
        "5142031",
        "6302231",
        "9131964",
        "5000533",
        "5210534",
        "5210731",
        "10091020",
        "6172531",
        "6300535",
        "10150872",
        "5170331",
        "5220213",
        "5220231",
        "6172831",
        "5180132",
        "5180134",
        "5180231",
        "5180331",
        "5180531",
        "5180611",
        "5180631",
        "5180832",
        "6154131",
        "8150632",
        "8151331",
        "8153631",
        "8154631",
        "10024708",
        "5110131",
        "8151832",
        "1000159",
        "10024691",
        "5000525",
        "5011225",
        "5015021",
        "5020917",
        "5020918",
        "5144222",
        "5270711",
        "6003211",
        "6013411",
        "6013512",
        "6301311",
        "7004414",
        "5271532",
        "5271533",
        "9101196",
        "5012021",
        "5013621",
        "5020411",
        "10045335",
        "6271031",
        "5460411",
        "5462222",
        "1000168",
        "5400431",
        "5400631",
        "8396642",
        "5141731",
        "5141931",
        "5142832",
        "5141721",
        "5144311",
        "5370611",
        "10065629",
        "5462531",
        "6013931",
        "9784059",
        "5080121",
        "5150421",
        "5150492",
        "10111526",
        "9200526",
        "6240731",
        "6280231",
        "5271131",
        "6270231",
        "6270433",
        "6270437",
        "6270631",
        "6271131",
        "5310231",
        "5310831",
        "10038159",
        "5400131",
        "5400132",
        "5400333",
        "5401232",
        "1000165",
        "5400931",
        "5400932",
        "1000287",
        "1000343",
        "1000381",
        "5401311",
        "5401511",
        "5401611",
        "5401911",
        "5001521",
        "6360231",
        "8360331",
        "9665067",
        "5012931",
        "5101411",
        "5143721",
        "5144221",
        "5360211",
        "8187463",
        "8542754",
        "10193898",
        "6271231",
        "5143811",
        "5030112",
        "5030811",
        "5340311",
        "1000156",
        "5330421",
        "5330821",
        "5330911",
        "7182313",
        "5320911",
        "6302111",
        "5450432",
        "1204021",
        "5101211",
        "5291233",
        "5293431",
        "5301511",
        "9772250",
        "10111870",
        "5302491",
        "5131211",
        "5300131",
        "1000171",
        "5471911",
        "1000311",
        "1000312",
        "1000313",
        "1000386",
        "5461211",
        "5200411",
        "5200311",
        "5200511",
        "5331811",
        "5332221",
        "1000158",
        "5344034",
        "6340532",
        "6341732",
        "8340731",
        "10096829",
        "1000172",
        "1000389",
        "5300831",
        "5301131",
        "9668990",
        "5140932",
        "9660138",
        "9667399",
        "6010732",
        "5103332",
        "5150135",
        "6154331",
        "6154432",
        "9665128",
        "10234889",
        "5140931",
        "5145431",
        "5011235",
        "3113003",
        "5150511",
        "5150611",
        "5140133",
        "5482132",
        "6011131",
        "1000335",
        "5153131",
        "5153231",
        "6151931",
        "6154132",
        "6155131",
        "6154813",
        "6153531",
        "6003931",
        "9660231",
        "5141031",
        "5141131",
        "6150631",
        "9660220",
        "10092638",
        "6151091",
        "6151591",
        "9660206",
        "9663700",
        "9660095",
        "10091405",
        "6153131",
        "6153831",
        "9658374",
        "6010131",
        "9659922",
        "6152131",
        "10091560",
        "5370421",
        "5370711",
        "6152231",
        "1000296",
        "5461731",
        "6014731"
    };

    public static void main(String[] args) {
        List<String> allcode = Arrays.asList(all);
        List<String> avaiablecode = Arrays.asList(avaiable);
        List<String> notavaiable=new ArrayList<>();
        StringBuilder sb=new StringBuilder();
        Arrays.stream(all).forEach(s -> {
            if(!avaiablecode.contains(s)){
                notavaiable.add(s);
                sb.append("'"+s+"',");
            }
        });
        System.out.println(notavaiable.size());
        System.out.println(sb.toString());

    }
}
